$\forall$$a$, $b$:$\mathbb{Q}$. ((0 $<$ $a$ \& 0 $<$ $b$) $\vee$ (0 $<$ {-}($a$) \& 0 $<$ {-}($b$))) $\Leftarrow\!\Rightarrow$ 0 $<$ $a$ $\ast$ $b$